Call dominfo.device_delete instead of non-existant dominfo.device_destroy.

Signed-off-by: Sean Dague <sean@dague.net>
Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>

diff --git a/tools/python/xen/xend/XendDomain.py b/tools/python/xen/xend/XendDomain.py
index 10917e2ab0c74887d004b328cb45ed104865c0f5..9ee5cb57fa28d74a115dd38fccdc738d5190d161 100644 (file)
--- a/tools/python/xen/xend/XendDomain.py
+++ b/tools/python/xen/xend/XendDomain.py
@@ -673,7 +673,7 @@ class XendDomain:
         @param type: device type
         """
         dominfo = self.domain_lookup(id)
-        val = dominfo.device_destroy(type, devid)
+        val = dominfo.device_delete(type, devid)
         dominfo.exportToDB()
         return val